C data types

Results: 2337



#Item
201Data types / Internet standards / Primitive types / C++ / Ip / Hooking / Transmission Control Protocol / C++ classes / Integer / Computing / Software engineering / Computer programming

UDP Relay Version: 0.9.1 Natural Resources Canada Geodetic Survey Division September 5, 2003

Add to Reading List

Source URL: www.rtigs.net

Language: English - Date: 2006-10-06 10:39:18
202Data types / Type theory / Cross-platform software / C++ / Object-oriented programming / Type system / JavaScript / Pointer / Prototype-based programming / Software engineering / Computing / Computer programming

Draft Typed Objects in JavaScript Nicholas D. Matsakis David Herman

Add to Reading List

Source URL: smallcultfollowing.com

Language: English - Date: 2015-05-29 14:49:35
203C++ / Type theory / Subroutines / Data types / Functional programming / Eval / C++ classes / Type system / Closure / Software engineering / Computing / Computer programming

Multi-stage Programming for Mainstream Languages Edwin Westbrook Mathias Ricken Jun Inoue

Add to Reading List

Source URL: www.cs.rice.edu

Language: English - Date: 2010-03-24 17:48:20
204String / C++ classes / Linguistics / Software engineering / Computing / Data types / Character encoding

Us e of Gl obal Data i n C1 Composite: May 2008 Composite A/S Nygårdsvej 16 DK-2100 Copenhagen

Add to Reading List

Source URL: users.composite.net

Language: English - Date: 2015-01-23 04:34:45
205C++ / Data types / Procedural programming languages / Cross-platform software / Type theory / Scope / Variable / Reference / ALGOL 68 / Software engineering / Computing / Computer programming

2009 Paper 5 Question 2 Compiler Construction Consider an ML-like language in which the set of values includes functions and these functions may have nested definitions. (a) Explain how a function value may be represent

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-06-09 10:18:31
206Type theory / Data types / Computability theory / Formal methods / Models of computation / Lambda calculus / C++ classes / Type system / ALGOL 68 / Software engineering / Programming language theory / Computing

Extending Coq with Imperative Features and its Application to SAT Verification Micha¨el Armand1 , Benjamin Gr´egoire1, Arnaud Spiwack2 , and Laurent Th´ery1 1 INRIA Sophia Antipolis - M´editerran´ee, France,

Add to Reading List

Source URL: assert-false.net

Language: English - Date: 2012-02-29 08:17:30
207Computer programming / Primitive types / C Standard Library / Computer file / Inter-process communication / String / Pointer / C / Open / Computing / Data types / Software engineering

BBM  101  –  Introduc/on  to   Programming  I   Fall  2014,  Lecture  13   Aykut  Erdem,  Erkut  Erdem,  Fuat  Akal   1

Add to Reading List

Source URL: web.cs.hacettepe.edu.tr

Language: English - Date: 2014-12-15 00:44:29
208Software engineering / Computer programming / IEEE standards / IEEE 754-2008 / C++ Technical Report 1 / C++ / Decimal128 floating-point format / Floating point / C99 / Computer arithmetic / Computing / Data types

Decimal Types for C++: Fourth Draft

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2009-03-23 04:31:24
209Primitive types / Software engineering / Mathematics / Numerical analysis / Floating point / Genetic algorithm / Error detection and correction / C / Affine arithmetic / Computer arithmetic / Computing / Data types

Synthesis of Fixed-Point Programs Eva Darulova EPFL Rupak Majumdar

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2013-08-05 05:55:21
210Primitive types / Computer programming / Hypothesis testing / Pointer / Statistical hypothesis testing / Reference / Null / C / Variable / Software engineering / Data types / Computing

Verifying Dereference Safety via Expanding-Scope Analysis A. Loginov∗ E. Yahav

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2008-05-21 10:34:30
UPDATE